4）-CNF 相关硕士博士期刊学术论文

4）-CNF相关论文

通过一个适当的归约变换，可以将一个CNF（conjunctive normal form）公式变换为另一个具有某种特殊结构或性质的公式，使两者具有相同的可......

期刊